ارزیابی امنیت پروتکل های اثبات گروهی در سامانه های rfid در برابر حمله جعل اثبات

thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده برق و الکترونیک
author سارا مجیدی
adviser نصور باقری
publication year 1393

abstract

به مجموعه ای از فناوری ها که در آنها برای شناسایی افراد و اشیاء، از امواج رادیویی استفاده می شود، سامانه های شناسایی با امواج رادیویی یا شناسایی بسامد رادیویی می گوییم. عملکرد شناسایی بسامد رادیویی وابسته به دو واحد برچسب و برچسب خوان می باشد که جهت برقراری ارتباط با یکدیگر از امواج رادیویی استفاده می کنند. در بسیاری از کاربرد های سامانه های امواج رادیویی اثبات حضور هم زمان تعدادی شیء یا شخص در کنار هم و در یک زمان معین اهمیت دارد. هدف از طراحی پروتکل های اثبات گروهی پاسخ به این نیاز است. در واقع می توان گفت اثبات گروهی مدرکی است که نشان می دهد دو و یا تعداد بیشتری از برچسب ها به طور هم زمان توسط یک برچسب خوان بررسی شده اند. این اثبات باید به وسیله کنترل کننده ئ متناظر قابل اثبات باشد. در طول اجرای یک پروتکل اثبات گروهی، کنترل کننده می تواند در دو حالت باشد: برخط و بیرون خط. در حالت اول کنترل کننده می تواند پیغامی از برچسب بگیرد و یا برای آن بفرستد (توسط برچسب خوان). در حالت دوم بر خلاف حالت قبل کنترل کننده نمی تواند با برچسب ارتباط برقرار کند. در این پایان نامه پروتکل های اثبات گروهی معرفی و بررسی شده اند. در ابتدا به معرفی انواع پروتکل های اثبات گروهی به همراه تحلیل امنیتی آن ها پرداخته ایم. سپس به طور خاص پروتکل هایی که بر مبنای قضیه باقیمانده مربعی طراحی شده اند، معرفی شده و نشان داده ایم اکثر این پروتکل ها در معرض حمله جعل هویت قرار دارند. در ادامه مساله تبانی برچسب ها مطرح شده است و یکی از پروتکل های اثبات گروهی از این منظر بررسی شد و امکان جعل اثبات در آن ثابت گردید.

similar resources

مروری بر پروتکل های مبتنی بر مسئله LPN در سامانه های RFID

سامانهRFID با استفاده از ارتباطات مبتنی بر فرکانس‌های رادیویی امکان شناسایی خودکار ، ردیابی و مدیریت اشیاء، انسان و حیوان را فراهم می‌نماید . عملکرد RFID وابسته به دو دستگاه برچسب و باز خوان است که جهت برقراری ارتباط بین یکدیگر از امواج رادیویی استفاده می‌نمایند. برای برقراری ارتباط امن بین برچسب و باز خوان از پروتکل های رمز نگاری استفاده می شود. مبنای اساسی برای امنیت یک پروتکل رمزنگاری بر ا...

full text

ارزیابی کتاب روش شناسی نظریه های جدید در سیاست (اثبات گرایی و فرا اثبات گرایی)

تنوع مطالعات روش شناختی در عرصه سیاست، پیدایش فرا اثبات گرایی در عصر جدید و تعارضاتی که با اثبات گرایی دارد، اهمیت نقد این اثر را روشن می سازد. در کنار آن ضرورت نقد کتابی که به عنوان منبع درسی دانشجویان علوم سیاسی در سه مقطع تحصیلی دانشگاهی مورد استفاده قرار می گیرد آشکار است. مقاله حاضر کوششی است تا با نقد یکی از مهم ترین تالیفات آموزشی در حوزه روش شناسی علم سیاست و بیان نقاط قوت و ضعف آن، زمی...

full text

اثبات پذیری گزاره های دینی

full text

بار اثبات اختلال های روانی متهم در فرایند دادرسی کیفری

اختلالات روانی، علاوه بر ناتوان نمودن متهم در دفاع از خود در برابر اتهام وارده، قابلیت انتساب معنوی جرم به وی و در نتیجه تحقق مسؤولیت کیفری را متزلزل میسازند. با طرح ادعای تردید در سلامت روانی، نسبت به تحقق مسؤولیت، شک ایجاد شده و در راستای اجرای اصل برائت و قاعده برابری سلاحها، مقام تعقیب مکلف به اثبات فقدان اختلالات روانی میگردد.در نظام حقوقی ایران از میان اختلالات روانی به جنون و مستی اشا...

full text

چرا اثبات؟

پروفسور رونده، استاد دانشگاه آلبرتای کانادا در رشتۀ ریاضی است. مقالات تخصصی وی بر اثرات متقابل آنالیز هارمونیک و آنالیز تابعی متمرکز است. مقالات عمومی رونده دربارۀ جنبه های فلسفی ریاضی نیز جالب توجه اند. از جمله مقالۀ حاضر که ضمن ارائۀ چند مثال، چرایی و چگونگی اثبات در ریاضی را شرح می دهد.

full text

اثبات مالکیت

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}

document type: thesis

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده برق و الکترونیک

Keywords

پروتکل های اثبات گروهی برچسب خوان کنترل کننده سامانه شناسایی بسامد رادیویی

Hosted on Doprax cloud platform doprax.com